Error Parsing the Output

Exception

Traceback (most recent call last):

  File "./aprove_wst2007nosplit.py", line 248, in prover_aprove
    time = conv_timeline(err.readline())

  File "./aprove_wst2007nosplit.py", line 83, in conv_timeline
    line = line.strip().split("\t")[1]

IndexError: list index out of range

Standard Out

CompilerOracle: exclude org/eclipse/jdt/internal/compiler/parser/Scanner optimized
CompilerOracle: exclude org/eclipse/jdt/internal/core/util/CommentRecorderScanner recordComment
CompilerOracle: exclude org/sat4j/tools/ExtendedDimacsArrayReader iff2Clause
CompilerOracle: exclude org/sat4j/tools/ExtendedDimacsArrayReader xor2Clause
CompilerOracle: exclude org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter iff2Clause
CompilerOracle: exclude org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter xor2Clause
### Excluding compile:  org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter::xor2Clause
### Excluding compile:  org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter::iff2Clause

Standard Error